%{
%}
%option 8bit noyywrap
%%

"prv"    printf("[%s]\n", yytext);
.        printf("[%s]\n", yytext);

%%
main() {
	yyin = stdin;
	yylex();
}
